Toward Heterogeneous Cardinal Direction Calculus
نویسندگان
چکیده
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based cardinal direction calculi, but for the relations between other combinations of objects we have only a model. We are, therefore, developing heterogeneous cardinal direction calculus, which allows reasoning on cardinal direction relations without regard to object types. In this initial report, we reformulate the definition of cardinal direction relations, identify the sets of relations between various pairs of objects, and develop the methods for deriving upper approximation of converse and composition.
منابع مشابه
Spatial reasoning with augmented points: Extending cardinal directions with local distances
We present an approach for supplying existing qualitative direction calculi with a distance component to support fully fledged positional reasoning. The general underlying idea of augmenting points with local reference properties has already been applied in the OPRAm calculus in which point objects are attached with a local reference direction to obtain oriented points and be able to express re...
متن کاملQualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic
Systems for qualitative spatial reasoning (QSR) are usually formulated as relation algebras, and reasoning in such systems is performed by constraint-satisfaction techniques. While this is often adequate, it is a rather inexpressive framework that cannot model and solve many spatial reasoning problems; it can also complicate the combination of different spatial formalisms, e.g., the combination...
متن کاملReasoning about Cardinal Directions between Extended Objects
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, known as Cardinal Direction Calculus (CDC), for representing direction relations between connected plane regions. CDC is perhaps the most expressive qualitative calculus for directional information, and has attracted increasing interest from areas such...
متن کاملA Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints
Knowledge representation and reasoning in real-world applications often require to integrate multiple aspects of space. In this paper, we focus our attention on the so-called Rectangular Cardinal Direction calculus for qualitative spatial reasoning on cardinal relations between rectangles whose sides are aligned to the axes of the plane. We first show how to extend a tractable fragment of such ...
متن کاملPractical Issues of Description Logics for Spatial Reasoning
Spatial reasoning with description logic has become an important research topic in the recent past. Several authors dealt with the problem of finding logical frameworks in which concept definitions can be made by using also spatial operators, particularly those of the Region Connection Calculus. Lutz and Miličić investigated the formal properties required to the concrete domain of the logical s...
متن کامل